English symbolic programming for automatic control: tłumaczenie na inne języki